Filtros : "Software testing, verification and reliability" Limpar

Filtros



Refine with date range


  • Source: Software testing, verification and reliability. Unidade: ICMC

    Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      SOUZA, Simone do Rocio Senger de et al. Empirical evaluation of a new composite approach to the coverage criteria and reachability testing of concurrent programs. Software testing, verification and reliability, v. 25, n. 3, p. 310-332, 2015Tradução . . Disponível em: https://doi.org/10.1002/stvr.1568. Acesso em: 01 maio 2024.
    • APA

      Souza, S. do R. S. de, Souza, P. S. L. de, Brito, M. A. S., Simão, A. da S., & Zaluska, E. J. (2015). Empirical evaluation of a new composite approach to the coverage criteria and reachability testing of concurrent programs. Software testing, verification and reliability, 25( 3), 310-332. doi:10.1002/stvr.1568
    • NLM

      Souza S do RS de, Souza PSL de, Brito MAS, Simão A da S, Zaluska EJ. Empirical evaluation of a new composite approach to the coverage criteria and reachability testing of concurrent programs [Internet]. Software testing, verification and reliability. 2015 ; 25( 3): 310-332.[citado 2024 maio 01 ] Available from: https://doi.org/10.1002/stvr.1568
    • Vancouver

      Souza S do RS de, Souza PSL de, Brito MAS, Simão A da S, Zaluska EJ. Empirical evaluation of a new composite approach to the coverage criteria and reachability testing of concurrent programs [Internet]. Software testing, verification and reliability. 2015 ; 25( 3): 310-332.[citado 2024 maio 01 ] Available from: https://doi.org/10.1002/stvr.1568
  • Source: Software testing, verification and reliability. Unidades: ICMC, EACH

    Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      DELAMARO, Márcio Eduardo e MARQUES, Fátima de Lourdes dos Santos Nunes e OLIVEIRA, Rafael A. P. Using concepts of content-based image retrieval to implement graphical testing oracles. Software testing, verification and reliability, v. 23, n. 3, p. 171-198, 2013Tradução . . Disponível em: https://doi.org/10.1002/stvr.463. Acesso em: 01 maio 2024.
    • APA

      Delamaro, M. E., Marques, F. de L. dos S. N., & Oliveira, R. A. P. (2013). Using concepts of content-based image retrieval to implement graphical testing oracles. Software testing, verification and reliability, 23( 3), 171-198. doi:10.1002/stvr.463
    • NLM

      Delamaro ME, Marques F de L dos SN, Oliveira RAP. Using concepts of content-based image retrieval to implement graphical testing oracles [Internet]. Software testing, verification and reliability. 2013 ; 23( 3): 171-198.[citado 2024 maio 01 ] Available from: https://doi.org/10.1002/stvr.463
    • Vancouver

      Delamaro ME, Marques F de L dos SN, Oliveira RAP. Using concepts of content-based image retrieval to implement graphical testing oracles [Internet]. Software testing, verification and reliability. 2013 ; 23( 3): 171-198.[citado 2024 maio 01 ] Available from: https://doi.org/10.1002/stvr.463
  • Source: Software testing, verification and reliability. Unidade: ICMC

    Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      SIMÃO, Adenilso da Silva e PETRENKO, Alexandre e NINA YEVTUSHENKO,. On reducing test length for FSMs with extra states. Software testing, verification and reliability, v. 22, n. 6, p. 435-454, 2012Tradução . . Disponível em: https://doi.org/10.1002/stvr.452. Acesso em: 01 maio 2024.
    • APA

      Simão, A. da S., Petrenko, A., & Nina Yevtushenko,. (2012). On reducing test length for FSMs with extra states. Software testing, verification and reliability, 22( 6), 435-454. doi:10.1002/stvr.452
    • NLM

      Simão A da S, Petrenko A, Nina Yevtushenko. On reducing test length for FSMs with extra states [Internet]. Software testing, verification and reliability. 2012 ; 22( 6): 435-454.[citado 2024 maio 01 ] Available from: https://doi.org/10.1002/stvr.452
    • Vancouver

      Simão A da S, Petrenko A, Nina Yevtushenko. On reducing test length for FSMs with extra states [Internet]. Software testing, verification and reliability. 2012 ; 22( 6): 435-454.[citado 2024 maio 01 ] Available from: https://doi.org/10.1002/stvr.452
  • Source: Software testing, verification and reliability. Unidade: ICMC

    Assunto: SOFTWARES (QUALIDADE;TESTES)

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      BARBOSA, Ellen Francine e MALDONADO, José Carlos e VINCENZI, Auri Marcelo Rizzo. Toward the determination of sufficient mutant operators for C++. Software testing, verification and reliability, v. 11, p. 113-136, 2001Tradução . . Disponível em: https://doi.org/10.1002/stvr.226. Acesso em: 01 maio 2024.
    • APA

      Barbosa, E. F., Maldonado, J. C., & Vincenzi, A. M. R. (2001). Toward the determination of sufficient mutant operators for C++. Software testing, verification and reliability, 11, 113-136. doi:10.1002/stvr.226
    • NLM

      Barbosa EF, Maldonado JC, Vincenzi AMR. Toward the determination of sufficient mutant operators for C++ [Internet]. Software testing, verification and reliability. 2001 ; 11 113-136.[citado 2024 maio 01 ] Available from: https://doi.org/10.1002/stvr.226
    • Vancouver

      Barbosa EF, Maldonado JC, Vincenzi AMR. Toward the determination of sufficient mutant operators for C++ [Internet]. Software testing, verification and reliability. 2001 ; 11 113-136.[citado 2024 maio 01 ] Available from: https://doi.org/10.1002/stvr.226
  • Source: Software testing, verification and reliability. Unidade: ICMC

    Assunto: SOFTWARES (QUALIDADE;TESTES)

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      VINCENZI, Auri Marcelo Rizzo et al. Unit and integration testing strategies for C programs using mutation. Software testing, verification and reliability, v. 11, p. 249-268, 2001Tradução . . Disponível em: https://doi.org/10.1002/stvr.242. Acesso em: 01 maio 2024.
    • APA

      Vincenzi, A. M. R., Maldonado, J. C., Barbosa, E. F., & Delamaro, M. E. (2001). Unit and integration testing strategies for C programs using mutation. Software testing, verification and reliability, 11, 249-268. doi:10.1002/stvr.242
    • NLM

      Vincenzi AMR, Maldonado JC, Barbosa EF, Delamaro ME. Unit and integration testing strategies for C programs using mutation [Internet]. Software testing, verification and reliability. 2001 ; 11 249-268.[citado 2024 maio 01 ] Available from: https://doi.org/10.1002/stvr.242
    • Vancouver

      Vincenzi AMR, Maldonado JC, Barbosa EF, Delamaro ME. Unit and integration testing strategies for C programs using mutation [Internet]. Software testing, verification and reliability. 2001 ; 11 249-268.[citado 2024 maio 01 ] Available from: https://doi.org/10.1002/stvr.242

Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2024